A New Characterization of Type-2 Feasibility
نویسندگان
چکیده
K. Mehlhorn introduced a class of polynomial time computable operators in order to study poly time reducibilities between functions. This class is deened using a generalization of A. Cobham's deenition of feasibility for type 1 functions to type 2 functionals. Cobham's feasible functions are equivalent to the familiar poly time functions. We generalize this equivalence to type 2 functionals. This requires a deenition of the notion`poly time in the length of type 1 inputs'. The proof of this equivalence is not a simple generalization of the proof for type 1 functions; it depends on the fact that Mehlhorn's class is closed under a strong form of simultaneous limited recursion on notation, and requires an analysis of the structure of oracle queries in time bounded computations.
منابع مشابه
Detection, Cloning, Molecular Characterization and Phylogenic Analyses of a New Primate T-Cell Lymphotropic Virus Type I in Olive Baboon
متن کامل
Emulation, Model Identification and New-approach Characterization of a PV Panel (TECHNICAL NOTE)
This paper provides experimental and simulation tools to characterize a Photo-Voltaic (PV) panel. To achieve this objective, we start from a PV electrical model and we propose a circuit using Diode-based-equivalent PV (DBEPV) panel. This circuit is presented as a prototype of an equivalent PV panel. It is designed to emulate a real PV module in different climatic conditions (irradiance and temp...
متن کاملFeasibility of Plain Rural Type Gathering towards Sustainable Development in Guilan Province, Iran
The gathering of rural type in Guilan plains is a kind of planning for physical development of rural settlements that aims at changing dwellers' lifestyle from a dispersed to a semi-dispersed state. This change will reduce the problems and difficulties of villages. In addition, it is an optimal way to exploit the resources and facilities for making a desirable spatial organization for villagers...
متن کاملCharacterization of weak fixed point property for new class of set-valued nonexpansive mappings
In this paper, we introduce a new class of set-valued mappings which is called MD-type mappings. This class of mappings is a set-valued case of a class of the D-type mappings. The class of D-type mappings is a generalization of nonexpansive mappings that recently introduced by Kaewkhao and Sokhuma. The class of MD-type mappings includes upper semi-continuous Suzuki type mappings, upper semi-con...
متن کاملAn Overview and Feasibility Study of Fabrication Technology and Characterization Techniques of Erbium-Doped Fiber amplifiers in Iran
In this paper, a brief summary of different methods of fabrication of optical preform and fiber is reviewed. Several methods of incorporation of erbium ions into optical preforms are studied. Characterization of the fabricated erbium doped fibers including measurements of refractive index profile, absorption, fluorescence and gain spectra and metastable lifetime are described. It is also expres...
متن کاملCharacterization of Iranian Isolates of Canine Parvovirus in Fecal Samples Using Polymerase Chain Reaction Assay
Despite the widespread prevalence of canine parvovirus disease (CPV) in Iranian dog population,molecular diagnosis of CPV variants, and investigation of the trends of its genetic changes is a new effort. Inthis study 50 samples from dogs suspicious of infection with clinical signs of diarrhea and vomiting, and 25samples from dogs suspected of infection with general symptoms su...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- SIAM J. Comput.
دوره 25 شماره
صفحات -
تاریخ انتشار 1996